Region - Based Theories of Space : Mereotopology and Beyond
نویسنده
چکیده
This chapter focuses on the topological and mereological relations, contact, and parthood, between spatiotemporal regions as axiomatized in so-called mereotopologies. Despite, or because of, their simplicity, a variety of different first-order axiomatizations have been proposed. This chapter discusses their underlying ontological choices and different ways of systematically looking at them. The chapter further gives an overview of the algebraic, topological, and graph-theoretic representations of mereotopological models which help to better understand the model-theoretic consequences of the various ontological choices. While much work on mereotopologies has been primarily theoretical, the focus started shifting towards applications and domain-specific extensions of mereotopology. These aspects will most likely guide the future direction of the field: How can mereotopologies be extended or otherwise adjusted to better suit practical needs? Moreover, the integration of mereotopology into more comprehensive and maybe more pragmatic ontologies of space and time remains another challenge in the field of region-based space.
منابع مشابه
Region-based Theories of Space: Mereotopology and Beyond - Report for PhD Qualifying Exam at University at Toronto
متن کامل
Region-based Theories of Space: Mereotopology and Beyond
The very nature of topology and its close relation to how humans perceive space and time make mereotopology an indispensable part of any comprehensive framework for qualitative spatial and temporal reasoning (QSTR). Within QSTR, it has by far the longest history, dating back to descriptions of phenomenological processes in nature (Husserl, 1913; Whitehead, 1920, 1929) – what we call today ‘comm...
متن کاملAlgebraization and representation of mereotopological structures
Boolean contact algebras are the abstract counterpart of region–based theories of space, which date back to the early 1920s. In this paper, we survey the development of these algebras and relevant construction and representation theorems.
متن کاملComplementation in Representable Theories of Region-Based Space
Through contact algebras we study theories of mereotopology in a uniform way that clearly separates mereological from topological concepts. We identify and axiomatize an important subclass of closure mereotopologies (CMT) called unique closure mereotopologies (UCMT) whose models always have orthocomplemented contact algebras (OCA) an algebraic counterpart. The notion of MT-representability, a w...
متن کاملLayers: A New Approach to Locating Objects in Space
Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers ...
متن کامل